3.4.97 \(\int \frac {\sqrt {a+i a \tan (c+d x)}}{(e \sec (c+d x))^{3/2}} \, dx\) [397]

Optimal. Leaf size=81 \[ \frac {4 i a \sqrt {e \sec (c+d x)}}{3 d e^2 \sqrt {a+i a \tan (c+d x)}}-\frac {2 i \sqrt {a+i a \tan (c+d x)}}{3 d (e \sec (c+d x))^{3/2}} \]

[Out]

4/3*I*a*(e*sec(d*x+c))^(1/2)/d/e^2/(a+I*a*tan(d*x+c))^(1/2)-2/3*I*(a+I*a*tan(d*x+c))^(1/2)/d/(e*sec(d*x+c))^(3
/2)

________________________________________________________________________________________

Rubi [A]
time = 0.10, antiderivative size = 81, normalized size of antiderivative = 1.00, number of steps used = 2, number of rules used = 2, integrand size = 30, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.067, Rules used = {3578, 3569} \begin {gather*} \frac {4 i a \sqrt {e \sec (c+d x)}}{3 d e^2 \sqrt {a+i a \tan (c+d x)}}-\frac {2 i \sqrt {a+i a \tan (c+d x)}}{3 d (e \sec (c+d x))^{3/2}} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[Sqrt[a + I*a*Tan[c + d*x]]/(e*Sec[c + d*x])^(3/2),x]

[Out]

(((4*I)/3)*a*Sqrt[e*Sec[c + d*x]])/(d*e^2*Sqrt[a + I*a*Tan[c + d*x]]) - (((2*I)/3)*Sqrt[a + I*a*Tan[c + d*x]])
/(d*(e*Sec[c + d*x])^(3/2))

Rule 3569

Int[((d_.)*sec[(e_.) + (f_.)*(x_)])^(m_.)*((a_) + (b_.)*tan[(e_.) + (f_.)*(x_)])^(n_), x_Symbol] :> Simp[b*(d*
Sec[e + f*x])^m*((a + b*Tan[e + f*x])^n/(a*f*m)), x] /; FreeQ[{a, b, d, e, f, m, n}, x] && EqQ[a^2 + b^2, 0] &
& EqQ[Simplify[m + n], 0]

Rule 3578

Int[((d_.)*sec[(e_.) + (f_.)*(x_)])^(m_)*((a_) + (b_.)*tan[(e_.) + (f_.)*(x_)])^(n_), x_Symbol] :> Simp[b*(d*S
ec[e + f*x])^m*((a + b*Tan[e + f*x])^n/(a*f*m)), x] + Dist[a*((m + n)/(m*d^2)), Int[(d*Sec[e + f*x])^(m + 2)*(
a + b*Tan[e + f*x])^(n - 1), x], x] /; FreeQ[{a, b, d, e, f}, x] && EqQ[a^2 + b^2, 0] && GtQ[n, 0] && LtQ[m, -
1] && IntegersQ[2*m, 2*n]

Rubi steps

\begin {align*} \int \frac {\sqrt {a+i a \tan (c+d x)}}{(e \sec (c+d x))^{3/2}} \, dx &=-\frac {2 i \sqrt {a+i a \tan (c+d x)}}{3 d (e \sec (c+d x))^{3/2}}+\frac {(2 a) \int \frac {\sqrt {e \sec (c+d x)}}{\sqrt {a+i a \tan (c+d x)}} \, dx}{3 e^2}\\ &=\frac {4 i a \sqrt {e \sec (c+d x)}}{3 d e^2 \sqrt {a+i a \tan (c+d x)}}-\frac {2 i \sqrt {a+i a \tan (c+d x)}}{3 d (e \sec (c+d x))^{3/2}}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.22, size = 48, normalized size = 0.59 \begin {gather*} \frac {2 (i+2 \tan (c+d x)) \sqrt {a+i a \tan (c+d x)}}{3 d (e \sec (c+d x))^{3/2}} \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[Sqrt[a + I*a*Tan[c + d*x]]/(e*Sec[c + d*x])^(3/2),x]

[Out]

(2*(I + 2*Tan[c + d*x])*Sqrt[a + I*a*Tan[c + d*x]])/(3*d*(e*Sec[c + d*x])^(3/2))

________________________________________________________________________________________

Maple [A]
time = 0.85, size = 75, normalized size = 0.93

method	result	size
default	\(\frac {2 \left (i \cos \left (d x +c \right )+2 \sin \left (d x +c \right )\right ) \sqrt {\frac {a \left (i \sin \left (d x +c \right )+\cos \left (d x +c \right )\right )}{\cos \left (d x +c \right )}}\, \left (\frac {e}{\cos \left (d x +c \right )}\right )^{\frac {3}{2}} \left (\cos ^{2}\left (d x +c \right )\right )}{3 d \,e^{3}}\)	\(75\)
risch	\(-\frac {i \sqrt {\frac {a \,{\mathrm e}^{2 i \left (d x +c \right )}}{{\mathrm e}^{2 i \left (d x +c \right )}+1}}\, \left (-2 \cos \left (d x +c \right )+4 i \sin \left (d x +c \right )\right )}{3 e \sqrt {\frac {e \,{\mathrm e}^{i \left (d x +c \right )}}{{\mathrm e}^{2 i \left (d x +c \right )}+1}}\, d}\)	\(80\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a+I*a*tan(d*x+c))^(1/2)/(e*sec(d*x+c))^(3/2),x,method=_RETURNVERBOSE)

[Out]

2/3/d*(I*cos(d*x+c)+2*sin(d*x+c))*(a*(I*sin(d*x+c)+cos(d*x+c))/cos(d*x+c))^(1/2)*(e/cos(d*x+c))^(3/2)*cos(d*x+
c)^2/e^3

________________________________________________________________________________________

Maxima [A]
time = 0.58, size = 53, normalized size = 0.65 \begin {gather*} \frac {\sqrt {a} {\left (-i \, \cos \left (\frac {3}{2} \, d x + \frac {3}{2} \, c\right ) + 3 i \, \cos \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right ) + \sin \left (\frac {3}{2} \, d x + \frac {3}{2} \, c\right ) + 3 \, \sin \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )\right )} e^{\left (-\frac {3}{2}\right )}}{3 \, d} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a+I*a*tan(d*x+c))^(1/2)/(e*sec(d*x+c))^(3/2),x, algorithm="maxima")

[Out]

1/3*sqrt(a)*(-I*cos(3/2*d*x + 3/2*c) + 3*I*cos(1/2*d*x + 1/2*c) + sin(3/2*d*x + 3/2*c) + 3*sin(1/2*d*x + 1/2*c
))*e^(-3/2)/d

________________________________________________________________________________________

Fricas [A]
time = 0.38, size = 69, normalized size = 0.85 \begin {gather*} \frac {\sqrt {\frac {a}{e^{\left (2 i \, d x + 2 i \, c\right )} + 1}} {\left (-i \, e^{\left (4 i \, d x + 4 i \, c\right )} + 2 i \, e^{\left (2 i \, d x + 2 i \, c\right )} + 3 i\right )} e^{\left (-\frac {1}{2} i \, d x - \frac {1}{2} i \, c - \frac {3}{2}\right )}}{3 \, d \sqrt {e^{\left (2 i \, d x + 2 i \, c\right )} + 1}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a+I*a*tan(d*x+c))^(1/2)/(e*sec(d*x+c))^(3/2),x, algorithm="fricas")

[Out]

1/3*sqrt(a/(e^(2*I*d*x + 2*I*c) + 1))*(-I*e^(4*I*d*x + 4*I*c) + 2*I*e^(2*I*d*x + 2*I*c) + 3*I)*e^(-1/2*I*d*x -
1/2*I*c - 3/2)/(d*sqrt(e^(2*I*d*x + 2*I*c) + 1))

________________________________________________________________________________________

Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sqrt {i a \left (\tan {\left (c + d x \right )} - i\right )}}{\left (e \sec {\left (c + d x \right )}\right )^{\frac {3}{2}}}\, dx \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a+I*a*tan(d*x+c))**(1/2)/(e*sec(d*x+c))**(3/2),x)

[Out]

Integral(sqrt(I*a*(tan(c + d*x) - I))/(e*sec(c + d*x))**(3/2), x)

________________________________________________________________________________________

Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((a+I*a*tan(d*x+c))^(1/2)/(e*sec(d*x+c))^(3/2),x, algorithm="giac")

[Out]

integrate(sqrt(I*a*tan(d*x + c) + a)*e^(-3/2)/sec(d*x + c)^(3/2), x)

________________________________________________________________________________________

Mupad [B]
time = 4.63, size = 86, normalized size = 1.06 \begin {gather*} \frac {\sqrt {\frac {e}{\cos \left (c+d\,x\right )}}\,\sqrt {\frac {a\,\left (\cos \left (2\,c+2\,d\,x\right )+1+\sin \left (2\,c+2\,d\,x\right )\,1{}\mathrm {i}\right )}{\cos \left (2\,c+2\,d\,x\right )+1}}\,\left (\cos \left (2\,c+2\,d\,x\right )\,1{}\mathrm {i}+2\,\sin \left (2\,c+2\,d\,x\right )+1{}\mathrm {i}\right )}{3\,d\,e^2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((a + a*tan(c + d*x)*1i)^(1/2)/(e/cos(c + d*x))^(3/2),x)

[Out]

((e/cos(c + d*x))^(1/2)*((a*(cos(2*c + 2*d*x) + sin(2*c + 2*d*x)*1i + 1))/(cos(2*c + 2*d*x) + 1))^(1/2)*(cos(2
*c + 2*d*x)*1i + 2*sin(2*c + 2*d*x) + 1i))/(3*d*e^2)

________________________________________________________________________________________